type t (= word)
val f : int -> t
